Inhalt des Dokuments
Forschung
-
Artikel akzeptiert (TASE 2011)
Artikel "Java goes TLA+" akzeptiert für die 5th IEEE International Conference on Theoretical Aspects of Software Engineering (Co-Autoren Hannes Lau, Uwe Nestmann)
-
GI-Informatiktage
Tsvetelina Yonova-Karbe präsentiert — auf Einladung — die Ergebnisse ihrer Bachelorarbeit "Formal Description and Analysis of Distributed Online Collaboration Platforms" auf einer Postersession während...
-
FMOODS/FORTE 2011 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von FMOODS/FORTE 2011 eingeladen.
-
QEST 2011 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von QEST 2011 eingeladen.
-
Artikel akzeptiert (STM'10)
Artikel "Defamation-Free Networks through User-Centered Data Control" akzeptiert (Rate 17/39) für den 6th International Workshop on Security and Trust Management (Co-Autoren Nadim Sarrouh, Florian Eilers, Uwe...
-
Artikel akzeptiert (EXPRESS'10)
Artikel "Breaking Symmetries" akzeptiert (Rate 10/22) für den 17th International Workshop on Expressiveness in Concurrency (Co-Autoren Kirstin Peters, Uwe Nestmann).
-
DFG bewilligt Forschungsprojekt SAS
Die DFG bewilligt das Forschungsprojekt "Synchrone und Asynchrone Interaktion in Verteilten Systemen" (SAS) für 24 Monate. Das Projekt ist eine Kooperation mit dem Institut für Programmierung und...